Locally finite poset